From: Jasper St. Pierre Date: Thu, 6 Dec 2012 15:58:53 +0000 (-0500) Subject: gnome-shell-jhbuild: Allow passing args to gnome-shell X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~5268 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=cfacb05461784daa0950faf00db860cdd9545a52;p=gnome-shell.git gnome-shell-jhbuild: Allow passing args to gnome-shell $ ./gnome-shell -- --list-modes https://bugzilla.gnome.org/show_bug.cgi?id=689778 --- diff --git a/src/gnome-shell-jhbuild.in b/src/gnome-shell-jhbuild.in index f8e9c42a5..9186f5049 100755 --- a/src/gnome-shell-jhbuild.in +++ b/src/gnome-shell-jhbuild.in @@ -93,6 +93,7 @@ def start_shell(): args.append('--replace') if options.sync: args.append('--sync') + args += params return subprocess.Popen(args, env=env) def run_shell(): @@ -156,11 +157,7 @@ parser.add_option("", "--sync", action="store_true") parser.add_option("", "--version", action="callback", callback=show_version, help="Display version and exit") -options, args = parser.parse_args() - -if args: - parser.print_usage() - sys.exit(1) +options, params = parser.parse_args() # Handle ssh logins if 'DISPLAY' not in os.environ: